21. Handbook of logic in computer science
پدیدآورنده : edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
H27
1992
22. Handbook of philosophical logic.
پدیدآورنده : edited by D.M. Gabbay and F. Guenthner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Handbooks, manuals, etc.,Droit.,Logic.,Logica.,Logica.,Logik,PHILOSOPHY, Logic.,Sciences humaines.,Sciences sociales.
رده :
BC1
.
H36
v
.
15
23. Handbook of philosophical logic
پدیدآورنده : / edited by D. Gabbay and F. Guenthner
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic
رده :
BC6
.
H36
1983
24. Handbook of philosophical logic
پدیدآورنده : / edited by D. M. Gabbay and F. Guenthner.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : منطق
رده :
BC
۶
/
ھ
۹ ۱۳۸۶
25. Handbook of philosophical logic
پدیدآورنده : edited by D. Gabbay, F. Guenthner
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Logic
رده :
BC
6
.
H36
26. Handbook of quantum logic and quantum structures :
پدیدآورنده : edited by Kurt Engesser, Dov M. Gabbay and Daniel Lehmann
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Quantum logic,Quantum theory
رده :
QC174
.
17
.
M35
H36
2007
27. Handbook of quantum logic and quantum structuresquantum logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Quantum logic
رده :
QC
174
.
17
.
M35
.
H36
2009
28. Handbook of quantum logic and quantum structures: quantum logic
پدیدآورنده : edited by Kurt Engesser, Dov M. Gabbay, Daniel Lehmann
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Quantum logic
رده :
QC
174
.
17
.
H35
2009
29. Handbook of quantum logic and quantum structures: quantum logic
پدیدآورنده : / edited by Kurt Engesser, Dov M. Gabbay and Daniel Lehmann
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Quantum logic
رده :
530
.
12
015113
H236
2009
30. Handbook of temporal reasoning in artificial intelligence
پدیدآورنده : edited by M. Fisher, D. Gabbay, L. Vila
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Temporal databases,، Artificial intelligence,، Reasoning
رده :
QA
76
.
9
.
D3
H347
2005
31. Handbook of the History of Logic
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic -- History,منطق -- تاریخ
رده :
E-Book
,
32. Handbook of the history of logic
پدیدآورنده : edited by Dov M. Gabbay and John Woods
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : History ، Logic
رده :
BC
15
.
H264
33. Handbook of the history of logic
پدیدآورنده : edited by Dov M. Gabbay and John Woods
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Logic, History
رده :
BC
.
H36
15
2004
34. Handbook of the history of logic
پدیدآورنده : edited by Dov M. Gabbay, Stephan Hartmann and John Woods
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : History ، Logic
رده :
BC
15
.
H36
2011
35. Labelled Deduction
پدیدآورنده : edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
36. Mathematical problems from applied logic I :
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA9
.
A1
M38
2006eb
37. Mathematical problems from applied logic : logics for the XXIst century
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M28
38. Practical reasoning
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع : Automatic theorem provingCongresses,Practical reasonCongresses,ReasoningCongresses,Artificial intelligenceCongresses
رده :
QA
,
76
.
9
,.
A96I575
39. Temporal Logic :
پدیدآورنده : edited by Dov M. Gabbay, Hans Jürgen Ohlbach.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Database management.,Logic design.
رده :
QA76
.
6
E358
1994